$\forall$$b$:$\mathbb{N}$, $f$:($\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$$\rightarrow\mathbb{B}$). ($\exists$$n$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$. $f$($n$)) $\Rightarrow$ mu($f$) $\in$ $\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$